Type systems

Results: 2329



#Item
21Trace Typing: An Approach for Evaluating Retrofitted Type Systems Esben Andreasen1 , Colin S. Gordon2 , Satish Chandra3 , Manu Sridharan4 , Frank Tip5 , and Koushik Sen6 1 2

Trace Typing: An Approach for Evaluating Retrofitted Type Systems Esben Andreasen1 , Colin S. Gordon2 , Satish Chandra3 , Manu Sridharan4 , Frank Tip5 , and Koushik Sen6 1 2

Add to Reading List

Source URL: manu.sridharan.net

- Date: 2018-02-03 20:39:22
    22Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version) Esben Andreasen1 , Colin S. Gordon2 , Satish Chandra3 , Manu Sridharan3 , Frank Tip3 , and Koushik Sen4 1 2

    Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version) Esben Andreasen1 , Colin S. Gordon2 , Satish Chandra3 , Manu Sridharan3 , Frank Tip3 , and Koushik Sen4 1 2

    Add to Reading List

    Source URL: arxiv.org

    - Date: 2016-05-04 20:54:35
      23Hybrid Type Checking KENNETH KNOWLES CORMAC FLANAGAN University of California at Santa Cruz Traditional static type systems are effective for verifying basic interface specifications. Dynamicallychecked contracts suppor

      Hybrid Type Checking KENNETH KNOWLES CORMAC FLANAGAN University of California at Santa Cruz Traditional static type systems are effective for verifying basic interface specifications. Dynamicallychecked contracts suppor

      Add to Reading List

      Source URL: kennknowles.com

      - Date: 2014-03-19 14:17:46
        24Big Types in Little Runtime Open-World Soundness and Collaborative Blame for Gradual Type Systems Jeremy G. Siek Ar tifact

        Big Types in Little Runtime Open-World Soundness and Collaborative Blame for Gradual Type Systems Jeremy G. Siek Ar tifact

        Add to Reading List

        Source URL: homes.soic.indiana.edu

        - Date: 2017-01-20 03:43:22
          25Three Deductive Systems of Classical (or Boolean) Type Theory and Their Denotational-Semantic Completeness Ken Akiba Virginia Commonwealth University, Richmond, Virginia, USA Abstract

          Three Deductive Systems of Classical (or Boolean) Type Theory and Their Denotational-Semantic Completeness Ken Akiba Virginia Commonwealth University, Richmond, Virginia, USA Abstract

          Add to Reading List

          Source URL: www.anupamdas.com

          - Date: 2017-08-07 04:57:01
            261 Bonsai: Synthesis-Based Reasoning for Type Systems arXiv:1708.00551v1 [cs.PL] 1 AugKARTIK CHANDRA, Stanford University

            1 Bonsai: Synthesis-Based Reasoning for Type Systems arXiv:1708.00551v1 [cs.PL] 1 AugKARTIK CHANDRA, Stanford University

            Add to Reading List

            Source URL: arxiv.org

            - Date: 2017-08-02 20:22:34
              27What term assignments can do for focusing∗ Guillaume Munch-Maccagnoni Inria 17th JuneDescribing proof systems as type systems for term calculi has a crucial consequence

              What term assignments can do for focusing∗ Guillaume Munch-Maccagnoni Inria 17th JuneDescribing proof systems as type systems for term calculi has a crucial consequence

              Add to Reading List

              Source URL: anupamdas.com

              - Date: 2017-08-04 11:45:45
                28TLC2, ch-end.tex,v: 1.39, p.963 Bibliography [1] Adobe Systems Incorporated. Adobe Type 1 Font Format. Addison-Wesley, Reading, MA, USA, 1990. ISBNThe “black book” contains the specificat

                TLC2, ch-end.tex,v: 1.39, p.963 Bibliography [1] Adobe Systems Incorporated. Adobe Type 1 Font Format. Addison-Wesley, Reading, MA, USA, 1990. ISBNThe “black book” contains the specificat

                Add to Reading List

                Source URL: www.latex-project.org

                - Date: 2016-08-08 13:00:03
                  29Parametric Quantifiers for Dependent Type Theory ANDREAS NUYTS, KU Leuven, Belgium ANDREA VEZZOSI, Chalmers University of Technology, Sweden DOMINIQUE DEVRIESE, KU Leuven, Belgium Polymorphic type systems such as System

                  Parametric Quantifiers for Dependent Type Theory ANDREAS NUYTS, KU Leuven, Belgium ANDREA VEZZOSI, Chalmers University of Technology, Sweden DOMINIQUE DEVRIESE, KU Leuven, Belgium Polymorphic type systems such as System

                  Add to Reading List

                  Source URL: lirias.kuleuven.be

                  - Date: 2017-07-28 06:42:57